l{-}union(${\it eq}$;${\it as}$;${\it bs}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$a$,$L$. insert(${\it eq}$; $a$; $L$);${\it as}$;${\it bs}$)